set theory proof